From 05dec242c352a08f908d713396f11327eccf9549 Mon Sep 17 00:00:00 2001 From: "iap10@freefall.cl.cam.ac.uk" Date: Tue, 25 Jan 2005 13:08:13 +0000 Subject: [PATCH] bitkeeper revision 1.1159.229.2 (41f644bdEYN9P3oj15IyKySMNPk1yg) Fix "make dist" target in tools directory. Signed-off-by: michael.fetterman@cl.cam.ac.uk Signed-off-by: ian.pratt@cl.cam.ac.uk --- tools/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/Makefile b/tools/Makefile index a05c196d37..722f9d9f7d 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -23,7 +23,7 @@ endif $(MAKE) -C sv install dist: $(TARGET) - $(MAKE) prefix=$(CURDIR)/../../install dist=yes install + $(MAKE) prefix=$(CURDIR)/../dist/install dist=yes install clean: -- 2.30.2